<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
               "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"
lang="utf-8" xml:lang="utf-8">
<head>
<title>Tools used in our course</title>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>
<meta name="generator" content="Org-mode"/>
<meta name="generated" content="2010-03-02 15:39:59 "/>
<meta name="author" content="Zhuang Zhong"/>
<meta name="description" content=""/>
<meta name="keywords" content=""/>
<link rel="stylesheet" href="style/base.css"  type="text/css" />


</head>
<body>
<div id="content">

<h1 class="title">Tools</h1>



<div id="outline-container-1" class="outline-2">
<h2 id="sec-1">SML/NJ </h2>
<div class="outline-text-2" id="text-1">

<p>We will use the latest version of SML/NJ(110.72) in our course. 
</p><ul>
<li>
Windows user
<a href="http://smlnj.cs.uchicago.edu/dist/working/110.72/smlnj.msi">Download</a> 
</li>
<li>
Linux user
run "<code>sudo apt-get install smlnj</code>" in Debian/Ubuntu.
</li>
</ul>


</div>

</div>

<div id="outline-container-2" class="outline-2">
<h2 id="sec-2">MLton </h2>
<div class="outline-text-2" id="text-2">

<ul>
<li>
Windows user
<a href="http://mlton.org/pages/Experimental/attachments/MLton-20091103.msi">Download</a>
</li>
<li>
Linux user
<ol>
<li>
<a href="http://mlton.org/pages/Experimental/attachments/mlton-20090622-1.r7191.x86-linux.tgz">Download</a> this package 
</li>
<li>
run "<code>sudo tar -zxvf this_package /</code>"
</li>
</ol>
</li>
</ul>



</div>

</div>

<div id="outline-container-3" class="outline-2">
<h2 id="sec-3">Emacs </h2>
<div class="outline-text-2" id="text-3">

<ul>
<li>
Setup your environment in Ubuntu(Linux)
<ol>
<li>
sudo apt-get install emacs sml-mode mlton
</li>
<li>
sudo apt-get install build-essentials
</li>
</ol>
</li>
<li>
Setup your environment in Windows
<ol>
<li>
<a href="http://emacs-for-windows.googlecode.com/files/Emacs.BZR.Win32.20100202.zip">Download</a> Emacs and extract to "d:\Emacs" e.g.
</li>
<li>
Adding environment variable "HOME", set as "d:\Emacs" e.g.
</li>
<li>
<a href="file/sml-mode.zip">Download</a> sml-mode and extract to "d:\Emacs\site-lisp" e.g.
</li>
<li>
Add following code to your ".emacs" file in HOME 
<pre class="example">
(add-to-list 'load-path "d:/emacs/site-lisp" t)
(add-to-list 'load-path "d:/emacs/site-lisp/sml-mode")
(load "sml-mode-startup")
</pre>

</li>
<li>
Save &amp; Restart Emacs
</li>
</ol>
</li>
<li>
Tutorial
<ul>
<li>
Start your Emacs find tutorial from Menu -&gt; Help -&gt; Emasc tutorial  
</li>
</ul>
</li>
</ul>



</div>

</div>

<div id="outline-container-4" class="outline-2">
<h2 id="sec-4">Cygwin </h2>
<div class="outline-text-2" id="text-4">

<p>Cygwin is a Linux-like environment for Windows. To install Cygwin 
</p><ol>
<li>
<a href="http://www.cygwin.com/setup.exe">Download</a> setup.exe from <a href="http://www.cygwin.com/">home page</a>
</li>
<li>
Run setup.exe
</li>
<li>
Add "<a href="http://oss.ustc.edu.cn/cygwin/cygwin/"">http://oss.ustc.edu.cn/cygwin/cygwin/"</a> as your mirror
</li>
<li>
Select package and install
</li>
</ol>


</div>

</div>

<div id="outline-container-5" class="outline-2">
<h2 id="sec-5">VirtualBox </h2>
<div class="outline-text-2" id="text-5">

<p>You can also get a Linux environment in Windows by VirtualBox.
</p><ul>
<li>
<a href="#www.virtualbox.org/">Home page</a> of VirtualBox
</li>
<li>
A <a href="http://www.codeeye.org/html/2009/sun-virtualbo安装ubuntu-9-10小记.html">tutorial</a> of how-to install Ubuntu 9.10 in VirtualBox 
</li>
</ul>


</div>

</div>

<div id="outline-container-6" class="outline-2">
<h2 id="sec-6">SPIM </h2>
<div class="outline-text-2" id="text-6">

<p>TODO
</p></div>
</div>
<div id="postamble">
</div>
</div>
</body>
</html>
